This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2012, Hejnice, the Czech Republic. The articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.

First the Branching Space-time and Branching Continuations mod-els are briefly presented. We compare their properties with the traditional definition of a Flow of Time from physics and we point out the difficulties of it in relativistic time. A solution of a Flow of Time in the given models is then proposed.

The article discusses the role of observers in perception of flow of time. It compares two established logics, Branching Space-times and Branching Continuations to a new logic based on Barbour’s timeless approach to physics. The article shows that the introduction of observer based valuation allows for the same evaluation of statements in both temporal and atemporal logics. We show this on the evaluation of statements about the future. Therefore we reach the conclusion that ontological time is not necessary for the (...) evaluation of temporal statements. (shrink)

Procedural justifications of democracy emphasize inclusiveness and respect and by doing so come into conflict with instrumental justifications that depend on voters’ competence. This conflict raises questions about jury theorems and makes their standing in democratic theory contested. We show that a type of no-regret learning called meta-induction can help to satisfy the competence assumption without excluding voters or diverse opinion leaders on an a priori basis. Meta-induction assigns weights to opinion leaders based on their past predictive performance to determine (...) the level of their inclusion in recommendations for voters. The weighting minimizes the difference between the performance of meta-induction and the best opinion leader in hindsight. The difference represents the regret of meta-induction whose minimization ensures that the recommendations are optimal in supporting voters’ competence. Meta-induction has optimal truth-tracking properties that support voters’ competence even if it is targeted by mis/disinformation and should be considered a tool for supporting democracy in hyper-plurality. (shrink)

The paper proposes a synthesis between human scientists and artificial representation learning models as a way of augmenting epistemic warrants of realist theories against various anti-realist attempts. Towards this end, the paper fleshes out unconceived alternatives not as a critique of scientific realism but rather a reinforcement, as it rejects the retrospective interpretations of scientific progress, which brought about the problem of alternatives in the first place. By utilising adversarial machine learning, the synthesis explores possibility spaces of available evidence for (...) unconceived alternatives providing modal knowledge of what is possible therein. As a result, the epistemic warrant of synthesised realist theories should emerge bolstered as the underdetermination by available evidence gets reduced. While shifting the realist commitment away from theoretical artefacts towards modalities of the possibility spaces, the synthesis comes out as a kind of perspectival modelling. (shrink)

We give a brief introduction to the axiomatization of temporal logics. Branching continuations are shortly presented thereafter and the possibility of their clear syntactical axiomatization in a Hilbert-style system is investigated as last. Some basic preliminary observations and suggestions, how such axiomatization could start, are presented.

The article discusses the relation between two intuitive properties of time, namely its flow and branching. Both properties are introduced first in an informal way and compared. The conclusion of this informal analysis is that the two properties do not entail each other nor are they in contradiction. In order to verify this, we briefly introduced the branching temporal structures called branching space-time, branching continuation and their versions Minkowski branching structure and branching time with Instants. Two possible ways how to (...) formalize flow of time are given, one based on the definition of flow of time from temporal logics and the other based on relativistic physics. The latter is used to define flow of time with the use of linearly ordered points on worldines while respecting the ontological definiteness given by the difference of the past and the future. This is formalized in each of the branching models and it is concluded by comparing the resulting properties that branching and flow, even in the formal sense, do not entail each other. However, notions connected with flow of time represent a useful basis for semantics of the branching models. (shrink)

We ask how to use machine learning to expand observability, which presently depends on human learning that informs conceivability. The issue is engaged by considering the question of correspondence between conceived observability counterfactuals and observable, yet so far unobserved or unconceived, states of affairs. A possible answer lies in importing out of reference frame content which could provide means for conceiving further observability counterfactuals. They allow us to define high-fidelity observability, increasing the level of correspondence in question. To achieve high-fidelity (...) observability, we propose to use generative machine learning models as the providers of the out of reference frame content. From an applied point of view, such a role of generative machine learning models shows an emerging dimension of human-machine cooperation. (shrink)

The environmental costs and energy constraints have become emerging issues for the future development of Machine Learning (ML) and Artificial Intelligence (AI). So far, the discussion on environmental impacts of ML/AI lacks a perspective reaching beyond quantitative measurements of the energy-related research costs. Building on the foundations laid down by Schwartz et al., 2019 in the GreenAI initiative, our argument considers two interlinked phenomena, the gratuitous generalisation capability and the future where ML/AI performs the majority of quantifiable inductive inferences. The (...) gratuitous generalisation capability refers to a discrepancy between the cognitive demands of a task to be accomplished and the performance (accuracy) of a used ML/AI model. If the latter exceeds the former because the model was optimised to achieve the best possible accuracy, it becomes inefficient and its operation harmful to the environment. The future dominated by the non-anthropic induction describes a use of ML/AI so all-pervasive that most of the inductive inferences become furnished by ML/AI generalisations. The paper argues that the present debate deserves an expansion connecting the environmental costs of research and ineffective ML/AI uses (the issue of gratuitous generalisation capability) with the (near) future marked by the all-pervasive Human-Artificial Intelligence Nexus. (shrink)

As our epistemic ambitions grow, the common and scientific endeavours are becoming increasingly dependent on Machine Learning (ML). The field rests on a single experimental paradigm, which consists of splitting the available data into a training and testing set and using the latter to measure how well the trained ML model generalises to unseen samples. If the model reaches acceptable accuracy, an a posteriori contract comes into effect between humans and the model, supposedly allowing its deployment to target environments. Yet (...) the latter part of the contract depends on human inductive predictions or generalisations, which infer a uniformity between the trained ML model and the targets. The paper asks how we justify the contract between human and machine learning. It is argued that the justification becomes a pressing issue when we use ML to reach ‘elsewheres’ in space and time or deploy ML models in non-benign environments. The paper argues that the only viable version of the contract can be based on optimality (instead of on reliability which cannot be justified without circularity) and aligns this position with Schurz’s optimality justification. It is shown that when dealing with inaccessible/unstable ground-truths (‘elsewheres’ and non-benign targets), the optimality justification undergoes a slight change, which should reflect critically on our epistemic ambitions. Therefore, the study of ML robustness should involve not only heuristics that lead to acceptable accuracies on testing sets. The justification of human inductive predictions or generalisations about the uniformity between ML models and targets should be included as well. Without it, the assumptions about inductive risk minimisation in ML are not addressed in full. (shrink)

Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying "x is true" and satisfying the "dequotation schema" $\varphi \equiv \text{Tr}(\bar{\varphi})$ for all sentences φ? This problem is investigated in the frame of Lukasiewicz infinitely valued logic.

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework for (...) the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics. The book may be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics. (shrink)

This paper explores the relation between the philosophical idea that logic is a science studying logical forms, and a mathematical feature of logical systems called the principle of uniform substitution, which is often regarded as a technical counterpart of the philosophical idea. We argue that at least in one interesting sense the principle of uniform substitution does not capture adequately the requirement that logic is a matter of form and that logical truths are formal truths. We show that some specific (...) logical expressions can produce propositions of different kinds and the resulting diversity of informational types can lead to a justified failure of uniform substitution without undermining the view that logic is a purely formal discipline. (shrink)

The article focuses on Rahel Jaeggi’s project of a critique of forms of life. Jaeggi seeks to create a new theory of social critique whose object is what Jaeggi calls a form of life: an ensemble of practices within which we always already live our lives and which represent solutions to certain problems. The critical procedure that Jaeggi defends is an immanent one, meaning that social critics, rather than bringing in external standards, should concentrate on contradictions characterizing forms of life (...) themselves. This procedure presupposes a concept of social change, which happens in a rational way and admits progressive development. This concept in turn serves as the highest criterium for a critique of forms of life. (shrink)

Facial perception plays a key role in various social interactions, including formidability assessments. People make relatively accurate inferences about men’s physical strength, aggressiveness, and success in physical confrontations based on facial cues. The physical factors related to the perception of fighting ability and their relative contribution have not been investigated yet, since most existing studies employed only a limited number of threat potential measures or proxies. In the present study, we collected data from Czech Mixed Martial Arts (MMA) fighters regarding (...) their fighting success and physical performance in order to test physical predictors of perceived fighting ability made on the basis of high-fidelity facial photographs. We have also explored the relationship between perceived and actual fighting ability. We created standardized 360° photographs of 44 MMA fighters which were assessed on their perceived fighting ability by 94 raters (46 males). Further, we obtained data regarding their physical characteristics (e.g. age, height, body composition) and performance (MMA score, isometric strength, anaerobic performance, lung capacity). In contrast to previous studies, we did not find any significant links between the actual and perceived fighting ability. The results of a multiple regression analysis have, however, shown that heavier fighters and those with higher anaerobic performance were judged as more successful. Our results suggest that certain physical performance-related characteristics are mirrored in individuals’ faces but assessments of fighting success based on facial cues are not congruent with actual fighting performance. (shrink)

Current thinking suggests that dissociation could be a significant comorbid diagnosis in a proportion of schizophrenic patients with a history of trauma. This potentially may explain the term “schizophrenia” in its original definition by Bleuler, as influenced by his clinical experience and personal view. Additionally, recent findings suggest a partial overlap between dissociative symptoms and the positive symptoms of schizophrenia, which could be explained by inhibitory deficits. In this context, the process of dissociation could serve as an important conceptual framework (...) for understanding schizophrenia, which is supported by current neuroimaging studies and research of corollary discharges. These data indicate that the original conception of “split mind” may be relevant in an updated context. Finally, recent data suggest that the phenomenal aspects of dissociation and conscious disintegration could be related to underlying disruptions of connectivity patterns and neural integration. (shrink)

Drawing on current debates at the frontiers of economics, psychology, and political philosophy, this book explores the challenges that arise for liberal democracies from a confrontation between modern technologies and the bounds of human rationality. With the ongoing transition of democracy's underlying information economy into the digital space, threats of disinformation and runaway political polarization have been gaining prominence. Employing the economic approach informed by behavioral sciences' findings, the book's chief concern is how these challenges can be addressed while preserving (...) a commitment to democratic values and maximizing the epistemic benefits of democratic decision-making. The book has two key strands: it provides a systematic argument for building a behaviorally informed theory of democracy; and explores how scientific knowledge on quirks and bounds of human rationality can inform the design of resilient democratic institutions. Drawing these together, the book explores the centrality of the rationality assumption in the methodological debates surrounding behavioral sciences as exemplified by the dispute between neoclassical and behavioral economics; the role of rationality in democratic social choice; behaviorally informed paternalism as a response to the challenge of irrationality; and non-paternalistic avenues to increase the resilience of the democratic institutions towards political irrationality This book is invaluable reading for anyone interested in behavioral economics and sciences, political philosophy and the future of democracy. (shrink)

This study explores the concept of rhythm and the relation of rhythm to the environment. Rhythm is not conceived of simply as a linear sequence of beats and pauses, but as a formative dynamic principle operating in all living systems. Following the rhythmanalysis of H. Levebvre and C. Regulier, phenomenological analyses of rhythm in Schutz and Richir, and a deleuzian processual approach to rhythm and milieu, this study attempts to address rhythm in terms of polyrhythmic bundles, which may be in (...) states of eurhythmia or arrhythmia. Specifically, the study focuses on three types of polyrhythmic arrangements – individual organism, garden, and city, on which it shows several types of rhythmic formations and rhythmic principles, whose interplay or discrepancy determines the formation of distinct types of living environment. (shrink)

A very simple many-valued predicate calculus is presented; a completeness theorem is proved and the arithmetical complexity of some notions concerning provability is determined.

Witnessed models of fuzzy predicate logic are models in which each quantified formula is witnessed, i.e. the truth value of a universally quantified formula is the minimum of the values of its instances and similarly for existential quantification. Systematic theory of known fuzzy logics endowed with this semantics is developed with special attention paid to problems of arithmetical complexity of sets of tautologies and of satisfiable formulas.

Dave Ripley has recently argued against the plausibility of multiset consequence relations and of contraction-free approaches to paradox. For Ripley, who endorses a nontransitive theory, the best arguments that buttress transitivity also push for contraction—whence it is wiser for the substructural logician to go nontransitive from the start. One of Ripley’s allegations is especially insidious, since it assumes the form of a trivialisation result: it is shown that if a multiset consequence relation can be associated to a closure operator in (...) the expected way, then it necessarily contracts. We counter Ripley’s objection by presenting an approach to multiset consequence that escapes this trap. This approach is multiple-conclusioned in a heterodox way, for multiple succedents are given a conjunctive, rather than a disjunctive reading. Finally, we address a further objection by French and Ripley to the effect that the informational interpretation of sequents in linear logic does not motivate cut. (shrink)

Many democratic countries have failed to stand up to the challenge presented by the COVID-19 pandemic. I argue that the collective response to the pandemic has been incapacitated by an ‘epistemic crisis’, (i.e., a breakdown in the social division of epistemic labor) that led to a failure of citizens’ beliefs to converge towards a shared perception of the situation. Neither a paucity of relevant expert knowledge nor democratic citizens’ irrationality is required for the crisis to emerge. In particular, I highlight (...) three obstacles capable of preventing relevant expert testimony from gaining democratic legitimacy necessary for an effective policy response: 1) the proper domain of expertise is uncertain; 2) regular citizens’ meta-expertise – (i.e., ability to discriminate among the putative experts based on their relative epistemic merit) – is not efficacious enough to trigger truth-convergence of the public opinion; 3) the prominent sources of third-party meta-expertise lack credibility due to their conflicts of interest. Since the first two problems appear irresolvable, I propose that the search for a path towards preclusion of future epistemic crises concentrates on upgrading the institutional fundament for meta-expertise provision. Social epistemology plays a vital role in this search, but its close cooperation with other disciplines is a must. (shrink)

We prove that Standardization fails in every nontrivial universe definable in the nonstandard set theory BST, and that a natural characterization of the standard universe is both consistent with and independent of BST. As a consequence we obtain a formulation of nonstandard class theory in the ∈-language.

In contrast to Anglophone debates on personal identity initially formed by John Locke’s investigation of personal identity in the sense of personal continuity or persistence through time, the Continental tradition focuses on what constitutes ipseity in the sense of individuality or uniqueness of the human being “constituted” by its continuous transformation through changing experience. In this study, I claim that contemporary phenomenological research in France—especially the “phenomenology of the event” as represented by Henri Maldiney and Claude Romano—contributes to this Continental (...) discussion in a significant way: it formulates the conditions of personal uniqueness or distinctiveness with regard to other persons, conditions not to be found in Heidegger’s existential conception of selfhood in Being and Time. More precisely, Maldiney and Romano allow us to answer the principal questions of this study: In what does the personal uniqueness consist? What exactly individualizes the first-person selfhood disclosed in Dasein’s relation to death? In my three-stage analysis, I first deal with Heidegger’s conception of selfhood in Being and Time and its limits with respect to the question of personal uniqueness. Next, I analyse Maldiney’s conception of “eventful selfhood” in which he “completes” Heidegger’s conception of selfhood by describing Dasein’s openness to ontical, and yet fully authentic events. Finally, I develop the argumentation by presenting Romano’s even more radical conception of the “happening subjectivity”, which allows us to return to the second major feature of personal identity: personal persistence. Nonetheless, I conclude that the connection between personal uniqueness and persistence is not sufficiently examined in the phenomenology of the event, which opens the path towards another related inquiry into the following problem: What is the proper subjective dimension or the “underlying thing” in the background of personal persistence which somehow resists events? (shrink)

This is the continuation of the paper :417–446, 2010). We continue the abstract study of non-classical logics based on the kind of generalized implication connectives they possess and we focus on semilinear logics, i.e. those that are complete with respect to the class of models where the implication defines a linear order. We obtain general characterizations of semilinearity in terms of the intersection-prime extension property, the syntactical semilinearity metarule and the class of finitely subdirectly irreducible models. Moreover, we consider extensions (...) of the language with lattice connectives and generalized disjunctions, study their interplay with implication and obtain axiomatizations and further descriptions of semilinear logics in terms of disjunctions and the proof by cases property. (shrink)

Chaadayev's Philosophical Letters and Apology of a Madman unite the religious approach to history, which was later adopted by the Slavophiles, with the search for Western enlightenment, symbolized in the figure of Peter the Great. - Front flap.

Vague language and corresponding models of inference and information processing is an important and challenging topic as witnessed by a number of recent monographs and collections of essays devoted to the topic. This volume collects fifteen papers, the majority of which originated with talks presented at the conference "Logical Models of Reasoning with Vague Information ", September 14-17, 2009, in Čejkovice, that initiated a EUROCORES/LogICCC project with the same title. At least two features set the current volume apart from other (...) texts: first, the interdisciplinary nature of the topic is nicely reflected by the wide range of interests of the authors, who include philosophers, linguists, logicians, as well as mathematicians and computer scientists. Secondly, all the papers are accompanied by comments written by other authors and a few outside experts. These comments and corresponding replies by the authors document the very lively ongoing debate on adequate models of vague language. (shrink)

Analyzing different philosophical and theological components of Aquinas’s view regarding the relation between human agency and divine providence, the monograph shows this view to be compatibilist, based on a determinist conception of causation and an aristocratic understanding of goodness.

The paper attempts to interpret P. van Inwagen’s refutation of Evans’ argument that there cannot be vague objects and defend it against the charge of inconsistency raised by Radim Bělohrad. However, such an interpretation is not without a cost. Therefore another interpretation of van Inwagen’s example of the Cabinet is offered which evades Evans’ charge of inconsistency against indeterminate identity as it does not need the notion at all.

We study Fermat's last theorem and Catalan's conjecture in the context of weak arithmetics with exponentiation. We deal with expansions of models of arithmetical theories (in the language ) by a binary (partial or total) function e intended as an exponential. We provide a general construction of such expansions and prove that it is universal for the class of all exponentials e which satisfy a certain natural set of axioms. We construct a model and a substructure with e total and (...) (Presburger arithmetic) such that in both and Fermat's last theorem for e is violated by cofinally many exponents n and (in all coordinates) cofinally many pairwise linearly independent triples. On the other hand, under the assumption of ABC conjecture (in the standard model), we show that Catalan's conjecture for e is provable in (even in a weaker theory) and thus holds in and. Finally, we also show that Fermat's last theorem for e is provable (again, under the assumption of ABC in ) in “coprimality for e”. (shrink)

The aim of this paper is to find roots of the private language argument in older Wittgenstein‘s texts. Scrutiny of them reveals that the more general form of the argument, so called solitary language argument, precedes the traditional sense-data argument from the first Wittgenstein‘s consideration of the problem in The Brown Book with a continuation in lectures on sense data and private experience. In consequence, this undermines exegetical objections to the solitary language argument.

Humans are remarkably adaptable, and therefore a successful species. There are many speculative answers to the question of why this is so. One of them represents the cultural intelligence hypothesis, which consid-ers cultural learning skills as the key to human success. This work aims to present the hypothesis of cultural intelligence as a viable alternative to more conventional approaches within the debate about the origin of human intelligence, such as the hypothesis of general and improvisational intelligence. Theirmutual comparison shows that (...) cultural intelligence hypothesis must necessarily work with flexible social learning strategies to describe cultural transmission, thus losing part of its explanatory power. As the theory of metacognitive strategies of social learning by cognitive psychologist Cecilia Heyes shows, there is a way to combine the flexibility of human reasoning with the “stupid” process of cultural selection. (shrink)